The enriched Vietoris monad on representable spaces
نویسندگان
چکیده
منابع مشابه
Domain-Representable Spaces
In this paper, we study domain-representable spaces, i.e., spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. We show that the Michael and Sorgenfrey lines are of this type, as is any subspace of any space of ordinals. We show that any completely regular space is a closed subset of some domainrep...
متن کاملBitopological Vietoris spaces and positive modal logic
Using the isomorphism from [3] between the category Pries of Priestley spaces and the category PStone of pairwise Stone spaces we construct a Vietoris hyperspace functor on the category PStone related to the Vietoris hyperspace functor on the category Pries [4, 18, 24]. We show that the coalgebras for this functor determine a semantics for the positive fragment of modal logic. The sole novelty ...
متن کاملDomain Representable Spaces and Completeness
We survey a family of interrelated open questions that link classical completeness theories of Oxtoby, Choquet, and de Groot to the newer area of domain-representable topological spaces. MR classification Primary = 54E52; Secondary = 54E30, 54F05, 54C35, 54H99,06F30
متن کاملRepresentable sequential algebras and observation spaces
We define the concepts of representable and abstract sequential Q-algebra, which are generalizations of the (relational) Q-algebras in [10]. Just as in that paper, we then prove that the two concepts coincide. In the following section we recall the concept of observation space and note that all complex algebras of observation spaces are representable sequential algebras. Finally we give an unco...
متن کاملModuli Spaces, Representable Functors, and Fibered Products
The idea of a moduli space is that its points correspond to a geometric object of interest. The underlying set of the space is thus determined, but not its geometric structure. In most cases, one can describe a geometric structure in an ad hoc manner, but it is not immediately obvious how to rigorously formulate the idea that the resulting object is “the” moduli space for the problem. This is t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2014
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2014.04.002